spec_trans(root,'$initialise_machine',0).
spec_trans(0,'wed_test2(PERSON2,{PERSON1},PERSON1,{PERSON2},{})',0).
spec_trans(0,'Life.born(PERSON1,boy)',1).
spec_not_all_transitions_added(1).
spec_max_reached_for_node(root).
spec_max_reached_for_node(0).
spec_completely_explored :-
        fail.
